formally real field 예문

• Artin and Schreier published in their famous 1926 paper their studies of all formally real fields and real closed fields, showing that a specific ordering could be defined on them.
  Artin 및 Schreier 유명한 1926 종이에있는 모든 공식적으로 실제 필드와 실제 폐쇄 분야 그들의 연구로 출판, 그 주문에 정의된 특정들을 수있습니다 보여주고있습니다.
• The earlier research by Artin and Schreier had led them to define what today are called formally real fields, they are fields with the property that -1 cannot be expressed as a sum of squares.
  Artin 및 Schreier에 의해 이전에 그들의 연구는 오늘 공식적으로 실제 필드는 무엇이라고 정의하고, 그들이 속성은 -1 제곱의 합으로 표현되지 않을 수있는 분야를 이끌었다.